Constraint programming - PDFSEARCH.IO - Document Search Engine

Constraint programming
Results: 1169

#	Item
561	The TV-Break Packing Problem Thierry Benoist1, Eric Bourreau2, Benoît Rottembourg 3 1 Bouygues e-lab, 1 av. Eugène Freyssinet, 78061 St Quentin en Yvelines Cedex, France 2 Add to Reading List Source URL: tbenoist.pagesperso-orange.fr Language: English - Date: 2008-07-09 00:56:16 Operations research Linear programming Constraint programming Duality Lagrangian relaxation Relaxation Local consistency Lagrange multiplier Decomposition method Mathematical optimization Convex optimization Mathematical analysis
562	Introduction to integer programming Add to Reading List Source URL: ocw.mit.edu Language: English - Date: 2015-05-24 19:47:53 Applied mathematics Optimization problem Combinatorial optimization Constraint Candidate solution Scheduling Linear programming Operations research Mathematical optimization Mathematics
563	Solving a Stochastic Queueing Design and Control Problem with Constraint Programming Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2007-09-11 09:43:03 Mathematical optimization Operations research Convex optimization Linear programming Decomposition method Constraint Cutting-plane method Local consistency Optimization problem Constraint programming Theoretical computer science Applied mathematics
564	Filtering Algorithms for the NValue Constraint Christian Bessiere1 , Emmanuel Hebrard2 , Brahim Hnich3 , Zeynep Kiziltan4 , and Toby Walsh2 1 LIRMM, CNRS/University of Montpellier, France Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:31 Theoretical computer science Local consistency Constraint satisfaction Interval graph Intersection graph Linear programming Decomposition method Constraint programming Graph theory Software engineering
565	Chapter 1 CHOOSING SEARCH HEURISTICS BY NONSTATIONARY REINFORCEMENT LEARNING Alexander Nareyek Computer Science Department, Carnegie Mellon University, 5000 Forbes Avenue, Pittsburgh, PA, USA Add to Reading List Source URL: www.ai-center.com Language: English - Date: 2005-12-27 14:08:32 Computer programming Heuristics Mathematical optimization Artificial intelligence Heuristic function Constraint satisfaction problem Heuristic Constraint optimization Local search Constraint programming Operations research Software engineering
566	Programming with constraint solvers toward a shared infrastructure for code checking, angelic execution, debugging, and synthesis Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:27:02 Constraint programming Electronic design automation Formal methods Logic in computer science NP-complete problems Satisfiability Modulo Theories AMPL X Window System Theoretical computer science Computing Software engineering
567	Combining Constraint Propagation and Discrete Ellipsoid-Based Search to Solve the Exact Quadratic Knapsack Problem Wen-Yang Ku and J. Christopher Beck Department of Mechanical & Industrial Engineering University of Toron Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2015-01-28 09:11:33 Computational complexity theory Mathematical optimization Constraint programming Quadratic programming Linear programming Semidefinite programming Local consistency Knapsack problem Constraint satisfaction Operations research Theoretical computer science Applied mathematics
568	Apple I-pod Takes on China Add to Reading List Source URL: www.acmq.org Language: English - Date: 2013-08-21 10:17:10 Technology Theory of constraints Constraint programming Leadership Process management Eliyahu M. Goldratt No value added Constraint The Goal Business Management Marketing
569	Enhancing Davis Putnam with Extended Binary Clause Reasoning Fahiem Bacchus Dept. Of Computer Science University Of Toronto Toronto, Ontario Canada, M5S 1A4 Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2002-04-08 12:32:58 Mathematical logic Constraint programming Formal methods Logic in computer science Boolean algebra Boolean satisfiability problem Unit propagation Resolution Davis–Putnam algorithm Theoretical computer science Mathematics Automated theorem proving
570	A Phase Transition-Based Perspective on Multiple Instance Kernels Romaric Gaudel1,2 , Mich`ele Sebag1 , and Antoine Cornu´ejols3 1 CNRS − INRIA − Univ. Paris-Sud, FOrsay, France Add to Reading List Source URL: www.lri.fr Language: English - Date: 2007-11-19 08:56:00 Support vector machine Machine learning Constraint programming Satisfiability Active learning Constraint satisfaction problem PP Boolean satisfiability problem Theoretical computer science Statistical classification Applied mathematics

UPDATE